"""
编译成文本输出到文件
"""
from index import build_index
if __name__ == '__main__':
    text = build_index()
    text_file = open("dist.txt",'w')
    text_file.write(text)
    text_file.close()
